<?php
function util_getMois($m){
	$mois=array("","Janvier","Février","Mars","Avril","Mai","Juin","Juillet","Aout","Septembre","Octobre","Novembre","Décembre");
	return $mois[$m];
}

function util_makeArray($s,$delimiter){
	$tmp=explode($delimiter,$s);
	$tmp2=array();
	foreach($tmp as $t) if($t!="") $tmp2[]=$t;
	return $tmp2;
}